The jEdit splash screen is currently 'always on top'. Sometimes, it takes jEdit a
lot of time to start, and during this time the splash screen hides a large portion
of the screen and prevents me from working with other applications.
I know I can get rid of the splash screen, but I am interested in it, and in being
able to check the startup progress.
| Submitted | shlomy - 2012-09-11 - 08:28:17z | Assigned | shlomy |
|---|---|---|---|
| Priority | 5 | Category | None |
| Status | Open | Group | None |
| Resolution | None | Visibility | No |
| 2012-12-27 - 16:00:52z kerik-sf |
here is a patch to use java6 native splash screen. For me, it goes to background. Is it better ? |
|---|
| 2012-12-27 - 15:59:38z kerik-sf |
nativesplash.png same splash screen but with space below for progress message |
|---|---|
| 2012-12-27 - 16:00:12z kerik-sf |
0001-use-native-java6-splash-screen.patch patch hacked from git format-patch |